Lee, Oukseh: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2008 10th International Conference on Advanced Communication Technology - Gangwon-Do, South Korea (2008.02.17-2008.02.20)] 2008 10th International Conference on Advanced Communication Technology - APROV: Another Program Verifier for Embedded Linux Device Drivers

Lee, Oukseh, Jung, Seung-Cheol, Ahn, Hyo-Cheon, Kim, Taeho

Year:

2008

Language:

english

File:

PDF, 428 KB

english, 2008

2

Proofs about a folklore let-polymorphic type inference algorithm

Lee, Oukseh, Yi, Kwangkeun

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 266 KB

english, 1998

3

A divide-and-conquer approach for analysing overlaid data structures

Lee, Oukseh, Yang, Hongseok, Petersen, Rasmus

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 669 KB

english, 2012

4

[IEEE 8th International Conference on Advanced Communication Technology - Phoenix Park, Korea (2006.02.20-2006.02.22)] 2006 8th International Conference Advanced Communication Technology - APROV-SL: a specification language of the another program verifier

Taeho Kim,, Oukseh Lee,, Chaedeok Lim,

Year:

2006

Language:

english

File:

PDF, 177 KB

english, 2006

5

[ACM Press the 4th international symposium - Vancouver, BC, Canada (2004.10.24-2004.10.25)] Proceedings of the 4th international symposium on Memory management - ISMM '04 - Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs

Lee, Oukseh, Yi, Kwangkeun

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

6

Proofs of a set of hybrid let-polymorphic type inference algorithms

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

Journal:

New Generation Computing

Year:

2004

Language:

english

File:

PDF, 1.63 MB

english, 2004

7

Static insertion of safe and effective memory reuse commands into ML-like programs

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 524 KB

english, 2005

8

A proof method for the correctness of modularized 0CFA

Oukseh Lee, Kwangkeun Yi, Yunheung Paek

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 90 KB

english, 2002

9

[IEEE 2008 10th International Conference on Advanced Communication Technology - Gangwon-Do, South Korea (2008.02.17-2008.02.20)] 2008 10th International Conference on Advanced Communication Technology - Applying Dataflow Analysis to Detecting Software Vulnerability

Kim, Hyunha, Choi, Tae-Hyoung, Jung, Seung-Cheol, Kim, Hyoung-Cheol, Lee, Oukseh, Doh, Kyung-Goo

Year:

2008

Language:

english

File:

PDF, 461 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски